Given φ:
A
→
B
and
ψ:
B
→
C
, the mapping from
A
to
C
defined by
(
ψφ
)(
a) = ψ(φ(a))
.